4.15. Logica Proposizionale - Teorema Di Completezza Forte E Teorema Di Esistenza Del Modello -